148 research outputs found
Ontology Merging as Social Choice
The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering
and other domains where information from several distinct sources needs to be integrated in a coherent manner.We propose
to view ontology merging as a problem of social choice, i.e. as a problem of aggregating the input of a set of individuals
into an adequate collective decision. That is, we propose to view ontology merging as ontology aggregation. As a first step in
this direction, we formulate several desirable properties for ontology aggregators, we identify the incompatibility of some of
these properties, and we define and analyse several simple aggregation procedures. Our approach is closely related to work
in judgment aggregation, but with the crucial difference that we adopt an open world assumption, by distinguishing between
facts not included in an agent’s ontology and facts explicitly negated in an agent’s ontology
Modelling Multilateral Negotiation in Linear Logic
We show how to embed a framework for multilateral negotiation,
in which a group of agents implement a sequence of deals
concerning the exchange of a number of resources, into linear logic.
In this model, multisets of goods, allocations of resources, preferences
of agents, and deals are all modelled as formulas of linear logic.
Whether or not a proposed deal is rational, given the preferences of
the agents concerned, reduces to a question of provability, as does
the question of whether there exists a sequence of deals leading to an
allocation with certain desirable properties, such as maximising social
welfare. Thus, linear logic provides a formal basis for modelling
convergence properties in distributed resource allocation
Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks
An abstract argumentation framework can be used to model the argumentative
stance of an agent at a high level of abstraction, by indicating for every pair
of arguments that is being considered in a debate whether the first attacks the
second. When modelling a group of agents engaged in a debate, we may wish to
aggregate their individual argumentation frameworks to obtain a single such
framework that reflects the consensus of the group. Even when agents disagree
on many details, there may well be high-level agreement on important semantic
properties, such as the acceptability of a given argument. Using techniques
from social choice theory, we analyse under what circumstances such semantic
properties agreed upon by the individual agents can be preserved under
aggregation.Comment: In Proceedings TARK 2017, arXiv:1707.0825
Modelling Combinatorial Auctions in Linear Logic
We show that linear logic can serve as an expressive framework
in which to model a rich variety of combinatorial auction
mechanisms. Due to its resource-sensitive nature, linear
logic can easily represent bids in combinatorial auctions in
which goods may be sold in multiple units, and we show
how it naturally generalises several bidding languages familiar
from the literature. Moreover, the winner determination
problem, i.e., the problem of computing an allocation of
goods to bidders producing a certain amount of revenue for
the auctioneer, can be modelled as the problem of finding a
proof for a particular linear logic sequent
Epistemic Selection of Costly Alternatives: The Case of Participatory Budgeting
We initiate the study of voting rules for participatory budgeting using the
so-called epistemic approach, where one interprets votes as noisy reflections
of some ground truth regarding the objectively best set of projects to fund.
Using this approach, we first show that both the most studied rules in the
literature and the most widely used rule in practice cannot be justified on
epistemic grounds: they cannot be interpreted as maximum likelihood estimators,
whatever assumptions we make about the accuracy of voters. Focusing then on
welfare-maximising rules, we obtain both positive and negative results
regarding epistemic guarantees
07431 Abstracts Collection -- Computational Issues in Social Choice
From the 21st to the 26th of October 2007, the Dagstuhl Seminar 07431
on ``Computational Issues in Social Choice\u27\u27 was held
at the International Conference and Research Center (IBFI), Schloss Dagstuhl.
During the seminar, several participants presented their recent
research, and ongoing work and open problems were discussed.
The abstracts of the talks given during the seminar are collected in this paper.
The first section summarises the seminar topics and goals in general.
Links to full papers are provided where available
07431 Executive Summary -- Computational Issues in Social Choice
Computational social choice is an interdisciplinary field of study at the interface
of social choice theory and computer science, with knowledge flowing in either direction.
On the one hand, computational social choice is concerned with importing concepts and procedures from
social choice theory for solving questions that arise in computer science and AI application domains.
This is typically the case for managing societies of autonomous agents, which calls for negotiation
and voting procedures. On the other hand, computational social choice is concerned with importing
notions and methods from computer science for solving questions originally stemming from social choice,
for instance by providing new perspectives on the problem of manipulation and control in elections.
This Dagstuhl Seminar has been devoted to the presentation of recent results and an exchange
of ideas in this growing research field
Complexity of Judgment Aggregation
We analyse the computational complexity of three problems in judgment aggregation:
(1) computing a collective judgment from a profile of individual judgments (the winner
determination problem); (2) deciding whether a given agent can influence the outcome
of a judgment aggregation procedure in her favour by reporting insincere judgments (the
strategic manipulation problem); and (3) deciding whether a given judgment aggregation
scenario is guaranteed to result in a logically consistent outcome, independently from what
the judgments supplied by the individuals are (the problem of the safety of the agenda).
We provide results both for specific aggregation procedures (the quota rules, the premisebased
procedure, and a distance-based procedure) and for classes of aggregation procedures
characterised in terms of fundamental axioms
- …